import TypeClass
definst Witchcraft.Monad, for: Algae.Id