If there’s a type Foo a b, then it’s possible to access a and b in a function definition through the notation f@(x y):
Foo a b
bar :: Foo a b -> Int
bar f@(x y) = ...
Very handy indeed.
Mail (will not be published) (required)
Please use markdown to make your comment beautiful.