1 2 3 4 5 6 7 8
{-# LANGUAGE LambdaCase #-} {-# LANGUAGE TemplateHaskell #-} module T15518 where $([d| f :: Bool -> () f = \case True -> () False -> () |])