Type signature without implementation should be an error

[erikd]

Simple example:

whatever :: Int -> Float

main = println "Hello"

should raise an error about a missing implementation for whatever.