← All posts tagged slow

> :k '(Int, '(Int, (Char, Int)))
'(Int, '(Int, (Char, Int))) :: (,) * (*, *)
> :k '(Maybe, Just, '[], '[(->) Int, IO, []], Eq, '[MonadReader, MonadWriter])
'(Maybe, Just, '[], '[(->) Int, IO, []], Eq, '[MonadReader, MonadWriter]) :: (,,,,,)
                                                                               (* -> *)
                                                                               (AnyK -> Maybe AnyK)
                                                                               [AnyK]
                                                                               [* -> *]
                                                                               (* -> Constraint)
                                                                               [*
                                                                                -> (* -> *)
                                                                                -> Constraint]