A monomorphic Foldable-like class