Prelude

class Eq a

class Eq a => Ord a

class Enum a

class Bounded a

class Num a

class (Num a, Ord a) => Real a

class (Real a, Enum a) => Integral a

class Num a ⇒ Fractional a

class (Real a, Fractional a) => RealFrac a

class Semigroup a

class Semigroup a => Monoid a

class Functor f

class Functor f ⇒ Applicative f

class Applicative m ⇒ Monad m

class Monad m ⇒ MonadFail m

class Foldable t

class (Functor t, Foldable t) ⇒ Traversable t

class Show a

class Read a