haskell - tipograficas - ¿Puedo restringir una familia de tipos?