Problem 1
> identity x = x <function> : a -> a
Problem 2
> always this = \ignore -> this <function> : a -> b -> a
There was an error while loading. Please reload this page.