let loop = loop in if loop then Just 1 else Nothing has type Maybe Int, and it is neither Just nor Nothing. To tell which, a…
