blob: 6d11d78dfe3f3b2d6beeed965783e6af9a570389 (
plain)
1
2
3
4
5
6
7
8
|
{-# LANGUAGE PolyKinds, DataKinds, TypeInType, TypeOperators #-}
module T14580 where
import Data.Kind
type Cat ob = ob -> ob -> Type
data ISO' :: Cat i -> i -> i -> Type
type ISO cat a b = ISO' cat a b -> Type
type (a <--> b) iso cat = ISO (iso :: cat a b)
|
