A try to teach Haskell from types instead of from values.