Provide real types :)