>>92
extract :: ma -> a
は存在しない場合があるようですが、
いつも存在しないのですか？
また、join :: m(ma) -> ma
は必ず存在するのですか？