ListT
data ListT m a
class MonadTransUncons t
class MonadCons m
head
tail
null
fold
foldMaybe
toList
toReverseList
traverse_
splitAt
fromFoldable
fromMVar
unfold
unfoldM
repeat
type Transformation m a b
traverse
take
drop
slice
data Positive n
positive