class Foo_0 a_1
    where {meth_2 :: a_1 -> b_3 -> a_1}