Functor type variables for Flip data type

Viewed 547

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)?

2 Answers
Related