- typing.py with Mypy syntax
- types constructors: Maybe, Either, Nothing, Just equivalents
- automatically create Just(value) when value is not a type

- documentation + release 0.1
- get feedback

- look at:
    * dispatch composable
    * map types if necessary

- optimizations:
    * set an option to disable checking when composing functions

- documentation + release 0.2
