Ignore vim tmp files

Signed-off-by: mat tso <mat-tso@topmail.ie>
Conform .cabal to hackage style

Signed-off-by: mat tso <mat-tso@topmail.ie>
Implementation with Func Dep & type recursion

Implement heterogeneous value using
functional dependencies and type-level recursion

Signed-off-by: mat tso <mat-tso@topmail.ie>