ListT
data ListT m a
class ListTrans t
class ListMonad m
head
tail
null
fold
toList
toReverseList
traverse_
splitAt
fromFoldable
unfold
repeat
type Transformation m a b
traverse
take
drop
slice
data Positive n
positive