Example

Def

data Def

type DefArg r a a'

type DefArgs2 r a b a' b'

type DefArgs3 r a b c a' b' c'

type DefArgs4 r a b c d a' b' c' d'

type DefArgs5 r a b c d e a' b' c' d' e'

type DefArgs6 r a b c d e f a' b' c' d' e' f'

type DefArgs7 r a b c d e f g a' b' c' d' e' f' g'

type DefArgs8 r a b c d e f g h a' b' c' d' e' f' g' h'

type DefArgs9 r a b c d e f g h i a' b' c' d' e' f' g' h' i'

type DefArgs10 r a b c d e f g h i j a' b' c' d' e' f' g' h' i' j'