Coggle requires JavaScript to display documents.
type String = [Char]
data Maybe a = Nothing | Just a
newtype Nat = N Int
class Eq a where ...
instance Eq Bool where ...
data Bool = False | True deriving (Eq, Ord, Show, Read)
fmap :: (a -> b) -> f a -> f b
pure :: a -> f a
(<*>) :: f (a -> b) -> f a -> f b
(>>=) :: m a -> (a -> m b) -> m b
return :: a -> m a
do e1; e2
do p <- e1; e2
(+) :: Num a => a -> a -> a