Forslag til FunSpec på patmat-test