Re: Type-level Replicate function

On 21 November 2014 09:21, Dr. ÉRDI Gergő wrote:

I've replaced the definition of Replicate with a closed type family, and now isNull typechecks on 7.8.2:

type family Replicate (n :: Nat) t : [*] where Replicate 0 t = '[] Replicate n t = t ': Replicate (n-1) t

Thanks that works beautifully!