-- polimophicField is one of: Car, Bike, Horse
data CustomType = { field :: String, polimorphicField :: ??}

-- this one requires to change for (CustomType a) everywhere
data CustomType a = { field :: String, polimorphicField :: a}