This is how I'm modelling things that I'm learning. I'm defining types (in Haskell) and functions that map those types to other types. Even if I don't write the

This is how I'm modelling things that I'm learning. I'm defining types (in Haskell) and functions that map those types to other types. Even if I don't write the implementation of the functions, that still gives me a clearer idea of the domain.