An attempt at doing "Algebra" with idris types This is a lightning rod repository to dump ideas and try things. At no point does it claim to be official, correct, or the only way of doing things. We appreciate all input into this repository.