Shane O'Brien 04fdf2732d Make Rel8able have kind ((X -> Type) -> Type) -> Constraint ... Previous it was `((Type -> Type) -> Type) -> Constraint`. The problem is this clashes with things like `HKD` from `higgledy`. We can use GADTs and PolyKinds hacks to get around this while mostly retaining the same API. The only major difference is we use `Result` in places where we used `Identity` before.		2021-04-15 17:00:12 +01:00
..
Main.hs	Make Rel8able have kind ((X -> Type) -> Type) -> Constraint	2021-04-15 17:00:12 +01:00