@hackage / typical

Type level numbers, vectors, list. This lib needs to be extended.