[Haskell-beginners] Is it possible to check list length at compile time?

[Francesco Ariis]

On Tue, Mar 17, 2015 at 05:26:39PM +0000, Kelong Cong wrote:
> I have a function that takes a list as its parameter. The list must always
> have the same length, for example 16. Instead of producing a "Nothing" or
> bottom out when an invalid list is supplied, are there ways to verify this
> at compile time? If not, are there alternative data types that has this
> kind of functionality?

Wouldn't a gigantic 16-sized tuple solve the matter (or any datatype
with 16 accessors)?

What functions are you using on the list?