Conkin

class Functor f

(<$>)

class Applicative f

data (a ~> b) x

liftA2

liftA3

liftA4

class Foldable t

class Traversable t

traverse'

sequenceA'

liftT1

liftT2

liftT3

liftT4

align

apportion

data Dispose f x a

data Coyoneda t u

getCoyoneda

toCoyoneda

data Product f g a

toProduct

fromProduct

data Coproduct f g a

data Pair x0 x1 a

data Tuple xs a

data Tagged xs a

data Flip a y x

data Curry a x y

data Uncurry a z

getUncurryStrict

uncurried

data Pure x a