1 2 3 4 5
{-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE ScopedTypeVariables #-} module Oops where pattern What = True :: Maybe