added instance for `Monomorphic'