Fix mapS
type families