Control.OOP
class a :> b
member
imember
pureMember
mapMember
(-->)
(==>)
class MonadConstVar v m
class MonadVar v m
data ToString m