test program:

module test

import StdEnv
import StdGeneric

generic gFun a :: Bool -> a

//Not allowed, throws a: Error [test.icl,9,gFun]: multiply defined
//gFun{|{#Char}|} True = "True"
//gFun{|{#Char}|} False = "False"

//Allowed:
gFun{|String|} True = "True"
gFun{|String|} False = "False"