Haskell Enhancement of

Agda 1 Evolution of
1