Portability | portable |
---|---|

Stability | experimental |

Maintainer | Reiner Pope <reiner.pope@gmail.com> |

Various types defined inductively as type families or data families on type-lists.

# Functions

Curried functions. We have

Fun (x1 :*: x2 :*: ... :*: xn :*: Nil) r ~ x1 -> x2 -> ... -> xn -> r