Usage of algebraic types in GHCi