Pass the length of arguments in as a function argument.

[nicodelpiano]

This solves the issue #1380.

Now the error (head empty list) doesn't appear:

module Main where

import Prelude
import Data.Generic

data Void
derive instance genericVoid :: Generic Void

and this example works fine.

[paf31]

👍 Thanks!

[nicodelpiano]

😄

[paf31]

Might as well put the new policy into effect now 😄

Could you please add your licensing terms here? #1394

[nicodelpiano]

Done 😄 👍

[paf31]

Thanks!