blob: 183f887252c87722c94834c6012d42cbd4401073 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE TemplateHaskell, TypeOperators, DataKinds #-}
module T15362 where
data Nat = Zero | Succ Nat
$( [d| type family a + b where
Maybe Zero b = b
Succ a + b = Succ (a + b) |] )
|