1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE PatternSynonyms #-} module Bug where {-# COMPLETE Id #-} pattern Id :: () pattern Id = () bug :: () bug | Id <- id () = ()