1test :: a
2test =
3  let t :: Bool -> a
4      t b = _
5   in _
6
7