purescript-0.11.2: examples/passing/2795.purs
module Main where
import Prelude
import Control.Monad.Eff.Console (log)
data X = X Int | Y
x :: X -> Int
x = case _ of
Y -> 0
X n | 1 <- n -> 1
| otherwise -> 2
main = log "Done"