c is a subset of s in haskell, scala coming soon