Monomorphic definitions