1 2 3 4 5 6 7 8
{-# LANGUAGE TypeOperators #-} module Ticket75 where data a :- b = Q -- | A reference to ':-' f :: Int f = undefined