search

love-haskell / coercible-utils

Utility functions for Coercible types
https://hackage.haskell.org/package/coercible-utils
BSD 3-Clause "New" or "Revised" License
9 stars 3 forks source link

Remove alap #34

Closed treeowl closed 4 years ago

treeowl commented 4 years ago

I realized that we can implement alap using ala if we just tolerate an extra Similar n n constraint. So it doesn't seem obviously necessary.