testsuite/tests/th/T15362.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TemplateHaskell, TypeOperators, DataKinds, TypeFamilies #-}

module T15362 where

data Nat = Zero | Succ Nat

$( [d| type family a + b where
         Maybe Zero b = b
         Succ a + b = Succ (a + b) |] )