Relative Comonad --> Functor
Removed dependency between RawXXX and IsXXX
Module over a Relative Comonad definition
Module over a Relative Comonad --> Functor