2019-06-09 23:12:31 +03:00
|
|
|
{-# LANGUAGE TypeFamilies #-}
|
2019-07-01 05:56:59 +03:00
|
|
|
|
2019-06-09 23:12:31 +03:00
|
|
|
class Foo a where
|
2019-06-23 21:07:39 +03:00
|
|
|
|
2019-06-09 23:12:31 +03:00
|
|
|
data FooBar a
|
|
|
|
|
|
|
|
-- | Something.
|
|
|
|
class Bar a where
|
2019-06-23 21:07:39 +03:00
|
|
|
|
2019-06-09 23:12:31 +03:00
|
|
|
-- | Bar bar
|
|
|
|
data BarBar a
|
2019-06-23 21:07:39 +03:00
|
|
|
|
2019-06-09 23:12:31 +03:00
|
|
|
-- | Bar baz
|
|
|
|
data
|
|
|
|
BarBaz
|
|
|
|
a
|
|
|
|
|
|
|
|
-- | Something more.
|
|
|
|
class Baz a where
|
2019-06-23 21:07:39 +03:00
|
|
|
|
2019-06-09 23:12:31 +03:00
|
|
|
-- | Baz bar
|
2019-06-19 21:35:37 +03:00
|
|
|
data
|
|
|
|
BazBar
|
|
|
|
a
|
|
|
|
b
|
|
|
|
c
|
2019-06-23 21:07:39 +03:00
|
|
|
|
2019-06-09 23:12:31 +03:00
|
|
|
-- | Baz baz
|
|
|
|
data
|
|
|
|
BazBaz
|
|
|
|
b
|
|
|
|
a
|
|
|
|
c
|