@hackage lawful-conversions0.1

Lawful typeclasses for conversion between types