module T3449A where import {-# SOURCE #-} T3449 z :: Foo a => a z = f1 aChar :: Char aChar = 'a'