Work in progress
currification with implicit is OK
Type alias and partial function work correctly
Some illTyped test
Continuations