Starting to prototype the subtype relation with Haskell