path: root/testsuite/tests/ghci/should_run/T11825.stdout

type X :: ★ → ★ → Constraint
class X a b | a → b where
  to ∷ a → b
  {-# MINIMAL to #-}
  	-- Defined at T11825.hs:3:1