int :: { v : Int  | v == 12 }
int = 12