Instanciate types correctly -> one FIXME down.