module test

import StdMisc

:: T a = T a

class c a v :: a -> v Int
instance c a T where c a = T 42

//fun :: v Int | c a v
fun :: v Int | c Bool v
fun = c True

Start :: T Int
Start = fun