import Data.Char result :: Char -> Bool result = [wingman| intro c, use isAlpha, assume c |]