鉴于以下类型类,对于某些实例Foo X
,我希望能够直接引用baz
。由于baz
不(直接)采用类型a
的参数,所以我不知道该怎么做。
class Foo a where
bar :: a -> Int
baz :: (a -> Int, a -> Int)
baz = ((\x -> 1), (\x -> 2))
如果bar x
,我可以轻松地做x :: X
。但是,如果我尝试对Foo X
所在的模块进行合格导入,则将其命名为FooX
,然后执行FooX.baz
将会收到一条Not in scope: FooX.baz
消息。>