Algoritmo de comprobación de tipos Haskell

[darkraider]

Lo dicho: un algortimo que le pueda aplicar a una función (sobre el papel: teoría) para saber si está bien tipada. Me dieron uno en clase pero no se donde tengo los apuntes. Alguien sabe alguno?