import TypeClass

definst Witchcraft.Monad, for: Algae.Tree.Rose