sig_fn n = Just [] -- No scoped type variables, but every method has
-- a type signature, in effect, so that we check
-- the method has the right type
sig_fn n = Just [] -- No scoped type variables, but every method has
-- a type signature, in effect, so that we check
-- the method has the right type