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