1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures #-} module PatBind2 where foo :: Bool -> _ Just foo = Just id