currification with implicit is OK
Type alias and partial function work correctly