型システムに制約を受けないパワフルな関数型言語ってのはないもんかね。