goats :: Goats -- Int
-- can't supply Int because the type equation
-- was already satisfied in the newtype so the kind
-- went from * -> * to * there. 
goats = Goats 37
goats :: Goats
goats = Goats 37
goats = Goats 37