{-# LANGUAGE PartialTypeSignatures #-}
module PatBind where

foo :: _
Just foo = Just id