Code using X-Dsp should be run with the monomorphism restriction
disabled (via the flag -XNoMonomorphismRestriction or similar).

If you want to use explicit type signatures, be prepared for very long class
contexts.  Various functions are provided ('a', 'k', 'i') to specify types
where they would otherwise be unable to be inferred.