Data.Layer.Immersed

class Immersed l a

class ImmersedM l m a