Test

Type declarations

Data types

data T a b

data T2 a b

data T3 a b

data T4 a b

data T5 a b

data T6

data N1 a

data N2 a b

data N3 a b

data N4 a b

data N5 a b

data N6 a b

data N7 a b

Records

data R

data R1

Class declarations

class C a

class D a

class E a

class F a

Function types

f

Auxiliary stuff

A hidden module

hidden

A visible module

Existential / Universal types

data Ex a

Type signatures with argument docs

k

l

m

A section

A subsection

f'

withType

withoutType