1 2 3 4 5 6 7 8 9 10 11
{-# OPTIONS_GHC -fdefer-type-errors #-} module T15325 where class PolyList e where polyList :: e -> () f :: PolyList e => e -> () f x = polyList x plh :: () plh = f 0