1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures #-} module ExpressionSig where bar :: Bool -> Bool bar x = (x :: _)