Data.Cross
class HasNormal v
normal
type One s
type Two s
type Three s
class HasCross2 v
class HasCross3 v