test :: a
test =
  let t :: Bool -> a
      t b = _
   in _