T15558.hs:11:15: warning: [-Winaccessible-code (in -Wdefault)]
    • Couldn't match type ‘Int’ with ‘Bool’
      Inaccessible code in
        a type expected by the context:
          (a ~ Bool) => ()
    • In the first argument of ‘MkFoo’, namely ‘()’
      In the expression: MkFoo ()
      In an equation for ‘f’: f MkT = MkFoo ()