I have following type definition:
newtype Flip f a b =
Flip (f b a) deriving (Eq, Show)
Does the Flip data constructor has one or three arguments?
Consinder following implementation:
data K a b = K a
newtype Flip f a b =
Flip (f b a) deriving (Eq, Show)
instance Functor (Flip K a) where
fmap f (Flip (K b)) = Flip (K (f b))
What is the type of (Flip K a)?