1 2 3 4 5
{-# LANGUAGE TemplateHaskell #-} module T10603 where main = print $ $([| case Just 'a' of Just a -> Just ((\x -> x) a) |])