Guess whose office this window is in?

Use a BSD or Solaris for better ZFS support

Obviously ARM processor… what else would they even use?

You can overload two different types, but not two different values for the same type — how would it even choose which one to return?

Here's what I think you want:

data B = B String
data C = C Int

class BorC a where
    get :: a

instance BorC B where
    get = B "1"

instance BorC C where
    get = C 1