Type-level Replicate function

[Bas van Dijk]

On 21 November 2014 09:35, Antonio Nikishaev <a at lelf.me> wrote:
> type instance Replicate (n :: Nat) r =
>     If (n == 0) '[] (r ': Replicate (If (n==0) 0 (n-1)) r)

Interesting!