purescript-0.11.5: examples/docs/src/Desugar.purs

module Desugar where

data X a b = X a b

test :: forall a b. X (a -> b) a -> b
test x =
  let X a b = x
  in a b